export LD_LIBRARY_PATH=./C/bin:${LD_LIBRARY_PATH}
export LD_LIBRARY_PATH=/applis/sicstus-3.11.2/lib/:${LD_LIBRARY_PATH}
#export LD_LIBRARY_PATH=/opt/sicstus/lib/:${LD_LIBRARY_PATH}
